function a, b -> ()
